Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
991	What kind of logic is “Independence Friendly” logic? Solomon Feferman 1. Two kinds of logic. To a first approximation there are two main kinds of pursuit in Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2004-11-27 19:12:48 Semantics Predicate logic Quantification Philosophical logic Independence-friendly logic First-order logic Skolem normal form Second-order logic Branching quantifier Logic Mathematical logic Model theory
992	Entity Resolution with Markov Logic Parag Singla Pedro Domingos Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2006-09-29 22:13:24 Mathematics Model theory Artificial intelligence Markov logic network Logic form Hidden Markov model First-order logic Predicate Atomic formula Logic Mathematical logic Predicate logic
993	Local Reasoning about Programs that Alter Data Structures Peter O’Hearn1 , John Reynolds2 , and Hongseok Yang3 Add to Reading List Source URL: www.eecs.qmul.ac.uk Language: English - Date: 2004-02-09 08:02:34 Program logic Logic in computer science Model theory Hoare logic Predicate transformer semantics Modal logic Function Interpretation If and only if Logic Mathematics Mathematical logic
994	From editor This issue presents proceedings of the workshop “30 Years of Mizar”1 held in September Add to Reading List Source URL: markun.cs.shinshu-u.ac.jp Language: English - Date: 2005-10-19 00:07:07 Propositional calculus Formal languages Quantification Predicate logic Natural deduction Andrzej Trybulec Mizar system Well-formed formula Function Logic Mathematical logic Mathematics
995	Chapter 1 Writing a Mizar article in Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2006-09-21 06:45:20 Mathematical logic Model theory Predicate logic Mizar system First-order logic Logical syntax Function Mizar and Alcor Well-formed formula Logic Mathematics Formal languages
996	First Order Logic Pete Manolios Northeastern Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2008-10-16 20:06:07 Model theory Formal languages Metalogic Predicate logic Interpretation First-order logic Well-formed formula Structure Function Logic Mathematics Mathematical logic
997	Formalization of the General Hoare Logic Laws Aleksandar Kupusinac 1, Dusan Malbaski 1 1 Add to Reading List Source URL: www.temjournal.com Language: English - Date: 2012-08-31 17:30:31 Predicate logic Program logic Model theory Mathematical proofs First-order logic Hoare logic Universal quantification Function Constructible universe Mathematical logic Mathematics Logic
998	C u t - E l i m i n a t i o n in Logics with Definitional Reflection Peter Schroeder-Heister Add to Reading List Source URL: ls.informatik.uni-tuebingen.de Language: English - Date: 2009-05-29 06:28:17 Model theory Operator theory Formal languages First-order logic Predicate logic Function Interpretation Contraction Mathematical logic Mathematics Logic
999	Øystein Linnebo and David Nicolas Draft of September 21, 2007 Add to Reading List Source URL: hal.archives-ouvertes.fr Language: English - Date: 2007-09-28 12:38:36 Predicate logic Parts of speech Quantification Semantics Grammar Predicate Plural quantification Subject First-order logic Linguistics Logic Mathematical logic
1000	Higher-Order Abstract Syntax∗ Frank Pfenning† Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2001-01-03 16:03:41 Type theory Lambda calculus Predicate logic Logic programming Higher-order abstract syntax Unification Free variables and bound variables Simply typed lambda calculus Hindley–Milner Mathematics Theoretical computer science Mathematical logic